More from this Author

Higher-Order Algebra, Logic, and Term Rewriting

by Bernhard Möller (Editor), Karl Meinke

Higher-Order Algebra, Logic, and Term Rewriting

by Jan Heering (Editor), Karl Meinke (Editor), Bernhard Möller (Editor), Tobias Nipkow (Editor)

Relational and Kleene-Algebraic Methods in Computer Science

by R. Berghammer (Editor), Bernhard Möller (Editor), Georg Struth (Editor)

Mathematics of Program Construction

by Eerke A. Boiten (Editor), Bernhard Möller (Editor)

Relations and Kleene Algebra in Computer Science

by Rudolf Berghammer (Editor), Ali Jaoua (Editor), Bernhard Möller (Editor), Bernhard Möller (Editor)